Input-driven languages are linear conjunctive
نویسنده
چکیده
Linear conjunctive grammars define the same family of languages as one-way real-time cellular automata (A. Okhotin, “On the equivalence of linear conjunctive grammars to trellis automata”, RAIRO ITA, 2004), and this family is known to be incomparable with the context-free languages (V. Terrier, “On real-time one-way cellular array”, Theoret. Comput. Sci., 1995). This paper demonstrates the containment of the languages accepted by input-driven pushdown automata (a.k.a. visibly pushdown automata) in the family of linear conjunctive languages, which is established by a direct simulation of an input-driven automaton by a one-way real-time cellular automaton. On the other hand, it is shown that the language families defined by the unambiguous grammars, the LR(k) grammars and the LL(k) grammars are incomparable with the linear conjunctive languages.
منابع مشابه
Top-Down Parsing of Conjunctive Languages
This paper generalizes the notion of a strong LL(k) context-free grammar for the case of conjunctive grammars and develops a top-down parsing algorithm for the resulting language family. A top-down parser of a conjunctive language attempts to construct a derivation of the input string, at each step using a nite lookahead to determine which grammar rule to apply. Fragments of formulae that form ...
متن کاملOn a new family of automata
This paper introduces a new family of automata that turns out to be computationally equivalent to linear conjunctive grammars. Although, if viewed as a practical tool for describing practical languages, these automata are not nearly as convenient as linear conjunctive grammars are, they can be reasonably expected to be highly suitable for use in applications as a low-level computational model, ...
متن کاملCONTROL OF CHAOS IN A DRIVEN NON LINEAR DYNAMICAL SYSTEM
We present a numerical study of a one-dimensional version of the Burridge-Knopoff model [16] of N-site chain of spring-blocks with stick-slip dynamics. Our numerical analysis and computer simulations lead to a set of different results corresponding to different boundary conditions. It is shown that we can convert a chaotic behaviour system to a highly ordered and periodic behaviour by making on...
متن کاملFunctional Description of Geoprocessing Services as Conjunctive Queries
Discovery of suitable web services is a crucial task in spatial data infrastructures. We present a novel approach to the semantic discovery of Geoprocessing Services (WPS). Requests and WPS are annotated as conjunctive queries in a logic programming (LP) language and the discovery process is based on LP query containment checking between these descriptions. Besides the types of input and output...
متن کاملHomomorphisms Preserving Trellis Languages
It is proved that a homomorphism h preserves the class of languages recognized by trellis automata augmented with the capacity of handling the empty string (or, equivalently, generated by linear conjunctive grammars) if and only if either h is injective, or h maps every symbol to the empty string. The transformation is effective in the former case and cannot be effectively done in the latter.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 618 شماره
صفحات -
تاریخ انتشار 2016